chapter 1 mathematical logic